# this is the name of the main maude module
LANGUAGE_NAME = OCL-SEMANTICS

LATEX_STYLE = bb
LATEX_TOPMATTER = README.tex

# this is the name of the interesting modules (used by make latex/pdf) 
LANGUAGE_MODULES = OCL-SYNTAX META-MODEL-INTERFACE OCL-SEMANTICS 

#this is the basename of the main file
MAIN_FILE = ocl-semantics.k

TOOL_DIR =  $(K_BASE)/core/
# include $(TOOL_DIR)make-helper.mk

# this is a space-separated list of basename maude files to run
TESTS = ocl-test.m

# normal compilation parameters
COMPILE = $(MAIN_FILE) -lang $(LANGUAGE_NAME)

compile: 
	../tools/compile.pl $(K_BASE)/core/kompile $(K_BASE)/core/maude/lib/k-prelude.maude values.maude $(COMPILE)

latex:
	../tools/compile.pl $(K_BASE)/core/kompile $(K_BASE)/core/maude/lib/k-prelude.maude values.maude $(COMPILE) -latex $(LANGUAGE_MODULES) -topmatter $(LATEX_TOPMATTER) -style $(LATEX_STYLE)

pdf:
	../tools/compile.pl $(K_BASE)/core/kompile $(K_BASE)/core/maude/lib/k-prelude.maude values.maude $(COMPILE) -pdf $(LANGUAGE_MODULES) -topmatter $(LATEX_TOPMATTER) -style $(LATEX_STYLE)

all:
	compile

clean:
	rm -f *-compiled.maude k-prelude.maude *~ *.log *.mrk *.out *.aux *-pdf.tex *-pdf.pdf out


